why dry docking is important for navy ships